若Ｒ是带单位元的交换环，Ｍ是完全有素的乘法模，则：（１）映射ψ：Ｐ→ＰＭ是从Ｓｐｅｃ（Ｒ）到Ｓｐｅｃ（Ｍ）的双射；（２）Ｚａｒｉｓｋｉ拓扑空间（Ｓｐｅｃ（Ｒ），Ｔ）和Ｓｔｏｎｅ拓扑空间（Ｓｐｅｃ（ＲＭ），（ＴＭ）同胚；（３）（ＲＭ，λ）构成Ｒ的一个网。......